# Test for -skip_buffer_removal
# repair_timing -setup 2 corners
source "helpers.tcl"
if { ![info exists repair_args] } {
  set repair_args {}
}
define_corners fast slow
read_liberty -corner slow Nangate45/Nangate45_slow.lib
read_liberty -corner fast Nangate45/Nangate45_fast.lib
read_lef Nangate45/Nangate45.lef
read_def repair_setup1.def
create_clock -period 0.3 clk

source Nangate45/Nangate45.rc
set_wire_rc -layer metal3
estimate_parasitics -placement
set_opt_config -sizing_area_limit 2.0 -sizing_leakage_limit 2.0
report_opt_config

report_worst_slack -max
write_verilog_for_eqy repair_setup4 before "None"
repair_timing -setup -skip_buffer_removal {*}$repair_args
run_equivalence_test repair_setup4 ./Nangate45/work_around_yosys/ "None"
report_worst_slack -max
